DICE API Documentation/com.embabel.dice.projection.prolog

Package-level declarations

Types

A confidence fact that accompanies a main fact. Allows Prolog rules to filter by confidence threshold.

class DefaultPrologProjector(graphProjector: GraphProjector? = null, prologSchema: PrologSchema = PrologSchema.withDefaults(), includeConfidence: Boolean = true, includeGrounding: Boolean = true) : PrologProjector

Default implementation of PrologProjector.

data class GroundingFact(val fact: PrologFact, val propositionId: String)

A grounding fact that links a Prolog fact back to its source proposition. Enables provenance queries.

data class PredicateMapping(val relationshipType: String, val predicate: String, val subjectArgIndex: Int = 0, val objectArgIndex: Int = 1)

Maps a relationship type from the schema to a Prolog predicate.

Prolog engine for executing queries against a knowledge base. Wraps tuProlog to provide a simple interface for loading theories and running queries.

data class PrologFact(val predicate: String, val args: List<String>, val confidence: Double, val decay: Double = 0.0, val sourcePropositionIds: List<String>) : Projection

A Prolog fact projected from a proposition. Facts are ground terms (no variables) that represent knowledge.

data class PrologProjectionResult(val facts: List<PrologFact>, val confidenceFacts: List<ConfidenceFact>, val groundingFacts: List<GroundingFact>)

Result of projecting propositions to Prolog.

Projects propositions to Prolog facts for logical inference.

Loads Prolog rules from files or classpath resources.

Schema defining how relationships map to Prolog predicates. Also holds base inference rules.

data class QueryResult(val success: Boolean, val bindings: Map<String, String> = emptyMap())

Query result from Prolog engine.

Well-known path for DICE Prolog rules on the classpath.